Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System

نویسندگان

  • Jin-Cheon Na
  • Richard Furuta
چکیده

As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to determine where they are, e.g., through the inclusion of GPS sensors, as will the need for devices to operate on heterogeneous networks. Consequently, hypertext systems supporting these devices will benefit if they also can become context-aware. In this research, we introduce caT (for Context-Aware Trellis), a context-aware hypertext model and associated tools, which supports flexible user (or agent) adaptation to changes in environmental information, such as time, location, bandwidth/cost, etc. Firstly a context-aware hypertext model is proposed by incorporating both high-level Petri net features and user-modeling into the previously-described Trellis hypertext model. Major features of the high-level Petri net that are being explored are structured tokens and flexible net description. Fuzzy knowledge (context) handling is supported by the integration of a fuzzy logic tool with the Petri net, and a flexible information presentation tool has been designed to support Web-based browsing of documents specified in the caT model. Additionally, authoring and analysis issues are explored to support structured authoring and verification of application models, respectively. A simple example, a university digital library, is introduced in the paper to explain the concept of the caT model.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Context-aware Hypermedia in a Dynamically Changing

Context-Aware Hypermedia in a Dynamically Changing Environment, Supported by a High-Level Petri Net. (December 2001) Jin-Cheon Na, B.S., Hanyang University; M.S., Oklahoma State University Chair of Advisory Committee: Dr. Richard Furuta In modern hypertext systems, with the increased availability of personal computers with environmental sensors (e.g., GPS sensors), adaptation support to meet th...

متن کامل

Employing Smart Browsers to Support Flexible Information Presentation in Petri Net-Based Digital Libraries

For effective real-life use, digital libraries must incorporate resource and system policies and adapt to user preferences and device characteristics. The caT (context-aware Trellis) hypertext model incorporates these policies and adaptation conditions within the Petri net specification of the digital library to support context-aware delivery of digital documents in a dynamically changing envir...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

Audio Browsing of Automaton-based Hypertext

Audio Browsing of Automaton-Based Hypertext. (December 2003) Selen Ustun, B.S., Bogazici University, Turkey Chair of Advisory Committee: Dr. Richard Furuta With the wide-spread adoption of hypermedia systems and the World Wide Web (WWW) in particular, these systems have evolved from simple systems with only textual content to those that incorporate a large content base, which consists of a wide...

متن کامل

Hypermedia Synchronization Modeling: A Case Study1

The semantics of hypermedia documents depends mainly on the satisfaction of both logical and temporal synchronization constraints. Therefore, the specification and verification of temporal and logical properties of hypermedia systems is a fundamental stage that must be done before implementation. In this paper we propose a formal model, called HTSPN (Hierarchical Time Stream Petri Net), that al...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000